gdk/x11: Make device type a X11 detail
authorCarlos Garnacho <carlosg@gnome.org>
Thu, 30 Jul 2020 15:37:19 +0000 (17:37 +0200)
committerCarlos Garnacho <carlosg@gnome.org>
Thu, 30 Jul 2020 16:30:13 +0000 (18:30 +0200)
commit4a2050e220adabd09ecfadac99f208dc31b5ff12
treed88adc2b9fc15b6384ca75ecf4300b43fbca2fe8
parent3c68db8e47d32adafba9f8f1c80598827671f91f
gdk/x11: Make device type a X11 detail

The only legit uses of device types are here in gdk/x11, move the
concept of device type to X11, so we can drop it from public API.
gdk/x11/gdkdevice-xi2.c
gdk/x11/gdkdevicemanager-xi2.c
gdk/x11/gdkx11device-xi2.h